Program slicing - PDFSEARCH.IO - Document Search Engine

Program slicing
Results: 42

#	Item
31	Static Analysis of Binary Executables Steve Hanov University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1 Add to Reading List Source URL: stevehanov.ca Language: English - Date: 2010-09-30 13:17:04 Compiler construction Debugging Programming language implementation Software optimization Compiler optimizations Disassembler Program slicing Data-flow analysis Decompiler Computing Software engineering Computer programming
32	Probabilistic Diagnosis of Performance Faults in Large-Scale Parallel Applications ∗ Ignacio Laguna† , Dong H. Ahn§ , Bronis R. de Supinski§ , Saurabh Bagchi† , Todd Gamblin§ † Purdue University, School of El Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2012-09-05 02:17:16 Parallel computing Debugging Concurrency control Lock Program slicing Thread Dependence analysis Computing Computer programming Software engineering
33	ICSE: G: Fighting Software Configuration Errors with Combined Static and Dynamic Program Analyses Sai Zhang Department of Computer Science & Engineering University of Washington Add to Reading List Source URL: src.acm.org Language: English - Date: 2014-04-23 10:43:40 Debugging Program analysis Program slicing Program transformation Software maintenance Error Configuration management Windows Registry Software bug Computer programming Software engineering Computing
34	ENHANCING MODEL UNDERSTANDING THROUGH STATIC ANALYSIS Kara A. Olson and C. Michael Overstreet Department of Computer Science Old Dominion University Norfolk, VA[removed] {kara, cmo}@cs.odu.edu Add to Reading List Source URL: vsgc.odu.edu Language: English - Date: 2012-02-03 12:13:50 Programming language theory Electronic design automation Scientific modeling Simulation language Logic simulation Simulation Economic model Program slicing Static program analysis Program analysis Electronic engineering Digital electronics
35	NISTIR[removed]Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 2: User Manual Add to Reading List Source URL: www.nist.gov Language: English - Date: 2011-12-05 15:47:24 Debugging Program analysis Program slicing Program transformation Software maintenance Slicing Meat slicer Slice ALGOL 68 Programming language theory Computing Software engineering
36	Efficient Deterministic Multithreading through Schedule Relaxation Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang {heming, jingyue, jmg, huayang, junfeng}@cs.columbia.edu Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2011-12-05 14:08:53 Parallel computing Program analysis Threads Instruction set architectures Concurrent computing Program slicing Multithreading LLVM Context switch Computing Computer programming Computer architecture
37	NISTIR[removed]Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design Add to Reading List Source URL: www.nist.gov Language: English - Date: 2011-12-05 15:46:44 Procedural programming languages Debugging Program analysis Program slicing Program transformation Software maintenance Software C Reliability engineering Software engineering Computing Computer programming
38	Contents Preface ix Acknowledgments Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 13:05:10 Computing Change impact analysis Change management Program slicing Software evolution IEEE Transactions on Software Engineering Software engineer Configuration management Institute of Electrical and Electronics Engineers Software engineering Software maintenance Software development
39	PDF Document Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2003-09-21 06:14:17 Program slicing Program transformation Software maintenance Computing Trace Software development Software engineering Debugging Program analysis
40	BugFix: A Learning-Based Tool to Assist Developers in Fixing Bugs Dennis Jeffrey∗ [removed] Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2009-03-13 20:28:43 Software bugs Debugging Infinite loop Program slicing Software testing Debugger Memory leak Valgrind COMEFROM Computer programming Software engineering Computing